AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:多模HCI中模态性的一般形式规范
Yamine Ait Ameur; Nadjet Kamel;
机译:信息共享:俄亥俄州东北部地区融合中心
机译:输出多模式HCI和Event-B形式化的正式模型
机译:多模式人机交互:回顾性评估中对第一印象和单模态评分影响的探索性研究
机译:多模态HCl中模态融合的一般形式
机译:通过中间规范语言FunZ从Z规范派生纯功能程序的形式化方法。
机译:定性的动力学建模可以正式解释中胚层规格并预测新的发育表型
机译:迈向认知感知的多峰呈现:高负荷人机交互中的模态效应
机译:通用网关的功能描述和形式规范
机译:基于形式方法和规范方法的视觉规范支持工具系统
机译:制造含有文拉法辛HCl的缓释微珠的方法,本申请提供了与本发明有关的临时规范
机译:在编译器系统中自动程序代码生成,用于实例化通用程序结构,并基于形式参数和实际参数的特征
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。